\documentclass[a4paper,twoside]{book}
\usepackage[hmarginratio=1:1]{geometry}
\setcounter{secnumdepth}{3}
\usepackage{graphicx}
\usepackage{titlepic}
\usepackage[dvipsnames]{xcolor}
\usepackage{listings}
\usepackage{url}
\usepackage{caption}
\usepackage{subcaption}
\usepackage{pgfgantt}
\usepackage{tikz}
\usetikzlibrary{positioning,shapes,shadows,arrows,fit,decorations.markings}
\usepackage{bytefield}
\usepackage{amssymb}
\usepackage{fancyhdr}
\pagestyle{fancy}
\usepackage{makeidx}
\makeindex
\usepackage[
	pdftitle={Muen},
	pdfsubject={An x86/64 Separation Kernel for High Assurance},
	pdfauthor={Reto Buerki, Adrian-Ken Rueegsegger},
	pdfkeywords={Separation Kernel, TCB, Virtualization, Intel VT-x, Security, SPARK},
	unicode=true,
	bookmarks=true,
	bookmarksnumbered=false,
	bookmarksopen=false,
	breaklinks=true,
	pdfborder={0 0 0},
	backref=false,
	colorlinks=false]{hyperref}

\lstset{
	basicstyle={\ttfamily\scriptsize},
	breakautoindent=true,
	breaklines=true,
	captionpos=b,
	extendedchars=true,
	frame=single,
	numbers=left,
	numberstyle={\tiny},
	showspaces=false,
	showstringspaces=false,
	tabsize=2,
	keywordstyle={\color{MidnightBlue}},
	commentstyle={\color{Aquamarine}},
	literate={~} {$\sim$}{1}
}

% Create new memory section (start, end, size, text).
\newcommand{\memsection}[4]{
	\bytefieldsetup{bitheight=#3\baselineskip} % define the height of the memsection
	\bitbox[]{10}{
		\footnotesize\texttt{0x#2} % print end address
		\\ \vspace{#3\baselineskip} \vspace{-2\baselineskip} \vspace{-#3pt}
		\footnotesize\texttt{0x#1} % print start address
	}
	\bitbox{16}{#4} % print box with caption
}

\title{Muen - An x86/64 Separation Kernel for High Assurance}
\author{Reto Buerki \and Adrian-Ken Rueegsegger}
\titlepic{\includegraphics[scale=0.4]{images/muen.pdf}}

\begin{document}
\input{tikzstyle}

\frontmatter
\maketitle

\begin{center}
	University of Applied Sciences Rapperswil (HSR), Switzerland
\end{center}

\include{abstract}
\include{acknowledgments}

\tableofcontents
\listoffigures
\listoftables
\lstlistoflistings

\mainmatter
\include{introduction}
\include{background}
\include{design}
\include{implementation}
\include{analysis}
\include{conclusion}

\backmatter
\cleardoublepage
\phantomsection
\addcontentsline{toc}{chapter}{Index}
\printindex

\bibliographystyle{plain}
\bibliography{report}
\addcontentsline{toc}{chapter}{Bibliography}

\end{document}
